Automated Machine Learning

Machine Learning for Automated Reasoning

Efficient and Robust Automated Machine Learning

The success of machine learning in a broad range of applications has led to an ever-growing demand for machine learning systems that can be used off the shelf by non-experts. To be effective in practice, such systems need to automatically choose a good algorithm and feature preprocessing steps for a new dataset at hand, and also set their respective hyperparameters. Recent work has started to t...

Semi-Automated Gameplay Analysis by Machine Learning

While presentation aspects like graphics and sound are important to a successful commercial game, it is likewise important that the gameplay, the non-presentational behaviour of the game, is engaging to the player. Considerable effort is invested in testing and refining gameplay throughout the development process. We present an overall view of the gameplay management problem and, more concretel...

Automated ECG Delineation using Machine Learning Algorithms

The aim of automated electrocardiogram (ECG) delineation system is the reliable detection of fundamental ECG components and from these fundamental measurements, the parameters of diagnostic significance, namely, P-duration, PR-interval, QRS-duration, QTinterval, are to be identified and extracted. In this work, two supervised machine learning algorithms, K-Nearest neighbour (KNN) and Support Ve...

Machine learning and automated theorem proving